pre.prettyprint {
  border: 0px;
  border-left: 3px solid #CCCCCC;
  margin-left:  2em;
  padding-left: 2em;
  font-size: 1.2em;
}

h1 {
  font-size: 1.5em;
}

h2 {
  font-size: 1.3em;
}

h3 {
  color: #333;
  font-size: 1.1em;
}

strong {
  color: #333;
}

h4 {
  color: #333;
  font-family: monospace;
  font-size: 1.2em;
}

body {
    font: 85% arial,sans-serif;
}
